21. Domain-theoretic foundations of functional programming

پدیدآورنده :

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع : Programming languages (Electronic computers) -- Semantics,Computer science -- Mathematics,Functionele programmering,Domein (wiskunde)

رده :
QA
76
.
7
.
S818
2006

22. Earth System Modelling - Volume Tools for Configuring, Building and Running Models

پدیدآورنده :

کتابخانه: كتابخانه و مركز اسناد دانشگاه كردستان (کردستان)

موضوع : ، Electronic books,، Earth Sciences,، Computer Simulation,، Computer Science, Mathematics,، Geography,، Science, Earth Sciences, General,، Computers, Computer Simulation,، Mathematics, Discrete Mathematics,، Science, Earth Sciences, Geography

رده :
QC
981

23. Encyclopedia of applied and computational mathematics

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Mathematics, Encyclopedias,Computers, Encyclopedias,Engineering mathematics, Encyclopedias,Mathematics, Encyclopedias,Physics, Encyclopedias

رده :
QA71-90

24. Excel 2019 for Marketing Statistics: A Guide to Solving Practical Problems

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Statistics ; & Statistics / General ; Probability & ECONOMICS / Marketing / General ; COMPUTERS / Data Science / General ; MATHEMATICS / Probability &BUSINESS

25. Formal and natural computing : essays dedicated to Grzegorz Rozenberg

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz

رده :
QA
76
.
L28
Vol
.
2300

26. Generalized quantifiers and computation

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer logic, Congresses.,Computer science-- Mathematics, Congresses.,Programming languages (Electronic computers), Congresses.

27. Generalized quantifiers and computation : 9th European Summer School in Logic, Language, and Information, ESSLLI'97 Workshop : Aix-en-Provence, France, August 11-12, 1997 : revised lectures

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : ، Computer science -- Mathematics,، Computer logic,، Programming languages )Electronic computers(

رده :
QA
76
.
L28
Vol
.
1754

28. Grammars and automata for string processing: from mathematics and computer science to biology, and back

کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)

موضوع : ، Computer science,، Programming languages )Electronic computers(-- Mathematics,، Mathematical linguistics,، Formal languages

رده :
QA
76
.
G64
2003

29. Grammars and automata for string processing : from mathematics and computer science to biology, and back

پدیدآورنده :

کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)

موضوع : Mathematics ، Computer science,Mathematics ، Programming languages )Electronic computers(,، Mathematical linguistics,، Formal languages,، Molecular biology,، Paun, Gheorghe, 0591-

رده :
QA
76
.
G69

30. Handbook of Graphical Models

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : BUSINESS & ECONOMICS / Statistics.,Computer Science.,COMPUTERS / Machine Theory.,MATHEMATICS / Probability & Statistics / General.

31. In-Depth Analysis of Linear Programming

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science -- Mathematics.,Computers.,Mathematics.

رده :
T57
.
74
B947
2001

32. Information for a Better World: Shaping the Global Future: 17th International Conference, IConference 2022, Virtual Event, February 28 March 4, 2022, Proceedings, Part II

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : COMPUTERS / Data Science / General ; Mathematics ; Science ; Sciences ;

33. Information technology and applied mathematics :

پدیدآورنده :

کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)

موضوع : Computer science-- Mathematics, Congresses.,Cryptography.,Computer science-- Mathematics.,COMPUTERS-- Computer Literacy.,COMPUTERS-- Computer Science.,COMPUTERS-- Data Processing.,COMPUTERS-- Hardware-- General.,COMPUTERS-- Information Technology.,COMPUTERS-- Machine Theory.,COMPUTERS-- Reference.,Cryptography.

رده :
QA76
.
9
.
M35

34. Initial computability, algebraic specifications, and partial algebras

پدیدآورنده :

کتابخانه: کتابخانه پرديس 2 دانشکده‌های فنی دانشگاه تهران (تهران)

موضوع : Computer science - Mathematics,Data structures (Computer science),Programming languages (Electronic computers) - Semantics,Partial algebras

رده :
QA
76
.
9
.
M35R45
1987

35. Introduction to Mathematical Systems Theory: Discrete Time Linear Systems, Control and Identification

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Statistics / General ; SCIENCE / System Theory ; &COMPUTERS / Computer Science ; Mathematics ; MATHEMATICS / Applied ; MATHEMATICS / Probability

36. Introduction to computational science and mathematics

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Computer science - Mathematics , Electronic digital computers - Programming

رده :
QA
76
.
9
.
M35
V37
1996

37. Introduction to scientific computing

پدیدآورنده :

کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)

موضوع : Mathematics ، Computer science,Programming ، Electronic digital computers,، MATLAB

رده :
QA
76
.
9
.
M35
V375
1997

38. Lagu (1926)-The Zeroth Book of Graph Theory: An Annotated Translation of Les Rseaux (ou Graphes)Andr Sainte

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Philosophy ; & ECONOMICS / Operations Research ; COMPUTERS / Computer Science ; COMPUTERS / Data Science / General ; Mathematics ; MATHEMATICS / Discrete Mathematics ; MATHEMATICS / Graphic Methods ; MATHEMATICS / History &BUSINESS

39. Mathematical Aspects of Computer and Information Sciences

کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه مازندران (مازندران)

موضوع : Mathematics. ; Computer organization. ; Artificial intelligence. ; Computers. ; Mathematics of Computing. ; -Computer science

40. Mathematical foundations of parallel computing

پدیدآورنده :

کتابخانه: کتابخانه مرکزی دانشگاه صنعتی امیرکبیر (تهران)

موضوع : Parallel processing )Electronic computers( , Computer science - Mathematics

رده :
QA
76
.
58
.
V63
1992